Recipes for simulated vomitus

Recipes for Interactive Learning

Algebraic Recipes for Integer Programming

Integer programming is concerned with solving linear systems of equations over the non-negative integers. The basic question is to find a solution which minimizes a given linear objective function for a fixed right hand side. Here we also consider parametric versions where the objective function and the right hand side are allowed to vary. The main emphasis is on Gröbner bases, rational generat...

Invalid Recipes

Repolarization Recipes for Atrial Fibrillation

Atrial fibrillation (AF), the most common sustained cardiac arrhythmia, represents a major health burden to people and health care systems within the Western world (1). Given its increasing prevalence with age, coupled with the aging population, the number of Americans affected is expected to surge from approximately 2.3 million in the year 2000 to nearly 16 million by 2050 (2). Until recently,...

Low-Fat Recipes for SPIN

Since the introduction of the rst version of the model checker Spin in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic use of Spin. This paper presents several techniques to optimise both the modelling and veri cation activities when using Spin.